Computer-aided verification - proceedings
- Författare
- (2nd international conference, CAV'90, New Brunswick, NJ, USA, June 18-21 1990c E.M. Clarke, R.P. Kurshan (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1991 | Tyskland, Berlin, New York | xiii, 372 sidor. ill. |